From 67489349a5304edf0ca314b97b5b33bd7c6dcb2d Mon Sep 17 00:00:00 2001 From: Matthias Clasen Date: Sat, 26 Aug 2017 10:55:16 -0400 Subject: [PATCH] header bar: Use GdkEvent API --- gtk/gtkheaderbar.c | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/gtk/gtkheaderbar.c b/gtk/gtkheaderbar.c index 5b8ca74abd..de2501702a 100644 --- a/gtk/gtkheaderbar.c +++ b/gtk/gtkheaderbar.c @@ -1801,8 +1801,10 @@ window_state_changed (GtkWidget *window, gpointer data) { GtkHeaderBar *bar = GTK_HEADER_BAR (data); + GdkWindowState changed, new_state; - if (event->changed_mask & (GDK_WINDOW_STATE_FULLSCREEN | GDK_WINDOW_STATE_MAXIMIZED | GDK_WINDOW_STATE_TILED)) + gdk_event_get_window_state ((GdkEvent *)event, &changed, &new_state); + if (changed & (GDK_WINDOW_STATE_FULLSCREEN | GDK_WINDOW_STATE_MAXIMIZED | GDK_WINDOW_STATE_TILED)) _gtk_header_bar_update_window_buttons (bar); return FALSE; -- 2.30.2